0.92/1.25	unsat
