0.92/1.24	unsat
