6.77/6.96	unsat
