6.77/8.29	unsat
