4.66/4.77	unsat
