17.06/17.13	unsat
