17.14/18.66	unsat
