17.98/18.12	unsat
