0.68/1.19	unsat
