3.74/3.76	unsat
