0.69/1.24	unsat
