5.68/7.83	unsat
