6.28/6.83	unsat
