0.08/0.64	unsat
