25.37/25.44	unsat
