0.10/0.64	unsat
