28.15/28.73	unsat
