0.56/0.64	unsat
