27.94/28.36	unsat
