26.61/28.89	unsat
