26.02/27.34	unsat
