18.49/18.63	unsat
