0.64/0.77	unsat
