6.37/6.83	unsat
