0.51/0.64	unsat
