0.68/1.69	unsat
