6.07/10.25	unsat
