27.98/30.89	unsat
