26.96/28.11	unsat
