7.16/7.26	unsat
