25.83/27.51	unsat
