0.20/0.69	unsat
