1092.33/1093.10	unsat
