18.26/19.04	unsat
