192.13/192.80	unsat
