3.71/3.76	unsat
