6.87/7.84	unsat
