3.82/4.02	unsat
