0.60/0.64	unsat
