28.02/28.73	unsat
