4.39/6.73	unsat
