17.06/18.26	unsat
