2.49/6.83	unsat
