6.08/8.17	unsat
