0.50/0.64	unsat
