19.36/21.91	unsat
