6.66/8.29	unsat
