0.72/0.77	unsat
