7.17/8.26	unsat
