4.68/4.77	unsat
