26.92/29.37	unsat
