192.28/192.55	unsat
