26.67/28.63	unsat
