18.85/19.08	unsat
