25.41/27.87	unsat
