6.77/8.22	unsat
