6.36/6.83	unsat
