27.63/30.36	unsat
