25.95/27.34	unsat
