0.52/0.69	unsat
