17.66/19.58	unsat
