0.20/0.64	unsat
