192.13/192.82	unsat
