27.18/28.81	unsat
