6.77/7.84	unsat
