191.30/192.30	unsat
