3.74/3.89	unsat
