25.17/27.49	unsat
