5.51/6.83	unsat
