26.62/28.81	unsat
