15.74/15.88	unsat
