0.30/0.64	unsat
