25.74/27.44	unsat
