192.26/192.76	unsat
