17.36/18.59	unsat
