17.98/18.39	unsat
