3.82/3.89	unsat
