192.01/192.42	unsat
