26.14/29.93	unsat
