1.58/1.69	unsat
