0.68/1.24	unsat
