17.06/18.58	unsat
