0.48/0.64	unsat
