17.36/18.65	unsat
