25.64/27.83	unsat
