17.06/18.59	unsat
