27.74/31.25	unsat
