16.64/18.92	unsat
