4.39/5.76	unsat
