27.94/28.59	unsat
