27.54/29.34	unsat
