3.88/4.82	unsat
