25.74/27.40	unsat
