19.64/22.91	unsat
