6.28/7.84	unsat
