4.66/4.82	unsat
