0.66/0.69	unsat
