6.77/7.69	unsat
