19.14/22.09	unsat
