26.92/29.34	unsat
